- существенно неразрешимая система
- Mathematics: essentially undecidable system
Универсальный русско-английский словарь. Академик.ру. 2011.
существенно неразрешимая система
Смотреть что такое "существенно неразрешимая система" в других словарях:
Математика — I. Определение предмета математики, связь с другими науками и техникой. Математика (греч. mathematike, от máthema знание, наука), наука о количественных отношениях и пространственных формах действительного мира. «Чистая … Большая советская энциклопедия
ПОЛНОТА ДЕДУКТИВНАЯ — свойство формальной системы (исчисления), характеризующее достаточность его дедуктивных средств с т. зр. нек рых фиксированных критериев (содержательных или формальных). В зависимости от характера выбранного критерия приходят к той или иной… … Философская энциклопедия
АЛГОРИТМ — [от algorithm!; algorismus, первоначально лат. транслитерация имени ср. азиат. учёного 9 в. Хорезми (Мухаммед бен Муса аль Хорезми)], программа, определяющая способ поведения (вычисления); система правил (предписаний) для эффективного… … Философская энциклопедия
интеллект — Общая мыслительная способность, позволяющая преодолевать трудности в новых ситуациях. Краткий толковый психолого психиатрический словарь. Под ред. igisheva. 2008. интеллект … Большая психологическая энциклопедия
Горький — Максим (1868 ) псевдоним современного русского писателя Алексея Максимовича Пешкова. Р. в мещанской семье нижегородского обойщика. Четырех лет от роду потерял отца. «Семи лет (читаем мы в автобиографии Г.) меня отдали в школу, где я учился пять… … Литературная энциклопедия
